Staying Alive as Cheaply as Possible
نویسندگان
چکیده
This paper is concernedwith the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for this class of models. We subsequently show that the derivation of optimal non-terminating schedules for such double-priced timed automata is computable. This is done by a reduction of the problem to the determination of optimal mean-cycles in finite graphs with weighted edges. This reduction is obtained by introducing the so-called corner-point abstraction, a powerful abstraction technique of which we show that it preserves optimal schedules.
منابع مشابه
A Study of Prevalence of Sleep Apnea Among Commercial Truck Drivers
Staying awake means staying alive. This is a slogan used to describe a research study on sleep apnea sponsored by the Federal Motor Carrier Safety Administration (FMCSA) and the American Transportation Research Institute of the American Trucking Associations (ATA). The research project addressed the prevalence of sleep apnea among commercial truck drivers, potential risk factors, and its impact...
متن کاملStaying Alive: A Virtual Reality Visualization Tool for Cancer Patients
We present a computer vision and virtual reality application for cancer patients. Currently, visualization and imagery techniques are becoming a routine part of the treatment of the ill. Mounting evidence shows the effectiveness of using self-imagery to encourage the immune system to boost its effort to defend the body from disease. Furthermore, while stress has been shown to retard the immune ...
متن کاملExamining the Duration of Unemployment, Reasons for Leaving the Job and Staying in the Labor Market
Abstract. With the industrialization of societies, the issue of employment also faced changes. specially For women, with the increase in the level of education, their desire to do jobs that were exclusive to men in the past, has become a tendency to engage in social activities along with men. Men also try to enter the labor market as soon as possible due to family responsibilities and the duty...
متن کاملImpact of the Staying Alive Program on the reduction of homicides in a community in Belo Horizonte.
OBJECTIVE To evaluate the impact of a homicide prevention program. METHODS A quasi-experimental study was performed using time series analysis of homicide incidence in the Morro das Pedras area in the city of Belo Horizonte, Southeastern Brazil, from 2002 to 2006. The number of homicides occurring in this location was compared to other violent and non-violent favelas and to other neighborhood...
متن کامل